Câu ví dụNó là một dạng tương tự của định lý đồng nhất hóa cho các bề mặt hai chiều, trong đó nêu rõ rằng mọi bề mặt Riemann được kết nối đơn giản có thể được cung cấp một trong ba hình học (Euclide, hình cầu hoặc hyperbolic).